This is the abstract, where we describe the main contributions of the paper.
